<HTML><HEAD><TITLE>integers(?Vars)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>integers(?Vars)</H1>
Vars' domain is the integer numbers.
<DL>
<DT><EM>Vars</EM></DT>
<DD>Variable or integer, or a list or submatrix of variables/integers
</DD>
</DL>
<H2>Description</H2>
<P>
   Constrain the variables to integer values.  Note that this declaration is
   implicit when specifiying an integer interval, e.g. in <TT>Y :: 0..99</TT>.</P>

<H3>Modes and Determinism</H3><UL>
<LI>integers(-) is det
<LI>integers(+) is semidet
</UL>
<H2>See Also</H2>
<A HREF="../../lib/ic/reals-1.html">reals / 1</A>, <A HREF="../../lib/suspend/integers-1.html">suspend : integers / 1</A>, <A HREF="../../lib/fd/integers-1.html">fd : integers / 1</A>, <A HREF="../../lib/bfs/integers-1.html">bfs : integers / 1</A>, <A HREF="../../lib/ic_kernel/index.html">ic_kernel : integers / 1</A>, <A HREF="../../lib/eplex/integers-1.html">eplex : integers / 1</A>
</BODY></HTML>
